pumping lemma conditions